exponential time algorithm